Skip to content

[proof] current-head structural receipt for upstream PR #1007 - #2

Closed
PollyBot13 wants to merge 1 commit into
proof-base-1007-v2from
fix/review-storm-self-activity
Closed

[proof] current-head structural receipt for upstream PR #1007#2
PollyBot13 wants to merge 1 commit into
proof-base-1007-v2from
fix/review-storm-self-activity

Conversation

@PollyBot13

@PollyBot13 PollyBot13 commented Aug 2, 2026

Copy link
Copy Markdown
Owner

Disposable current-head structural-receipt proof after a target-side body edit. Exact base and head remain unchanged.

@PollyBot13 PollyBot13 added the proof: owned activity Disposable operational proof label label Aug 2, 2026
@PollyBot13

Copy link
Copy Markdown
Owner Author

Current-head live structural-receipt proof.

  • Exact base: 03f0344d21bf9ac724ff6d1d4a619308aa9fa6d6
  • Exact head: 84160ed710bb1dae8a14115a2babdeb823b81056
  • Live target: this disposable PR in the contributor fork
  • Proof path: the exact-head build loaded shouldReviewItem, reviewStructuralRecordFromGraphql, and reviewStructuralCacheDecision; live GraphQL records were captured before and after each GitHub mutation.
{"phase":"reviewed_baseline","exactBase":"03f0344d21bf9ac724ff6d1d4a619308aa9fa6d6","exactHead":"84160ed710bb1dae8a14115a2babdeb823b81056","liveItemUpdatedAt":"2026-08-02T12:41:31Z","sourceRevision":"c8bb9fd55d17baf755941f9163787ee56ac28b3adcc6aa41fc0b23160fd9a917","relationSensitive":false}
{"phase":"owned_mutation_structurally_covered","liveItemUpdatedAt":"2026-08-02T12:43:25Z","persistedAutomationItemUpdatedAt":"2026-08-02T12:43:25Z","sourceRevisionMatches":true,"schedulerAdmittedStructuralVerification":true,"structuralCacheDecision":{"hit":true,"reason":"hit"}}
{"phase":"later_target_activity_fails_open","liveItemUpdatedAt":"2026-08-02T12:43:28Z","persistedAutomationItemUpdatedAt":"2026-08-02T12:43:25Z","sourceRevisionMatches":false,"schedulerAdmittedStructuralVerification":true,"structuralCacheDecision":{"hit":false,"reason":"source_changed"}}

Sequence:

  1. Captured the reviewed baseline from live GraphQL state.
  2. Applied the fork's dedicated proof: owned activity label as the controlled automation-owned mutation. The configured proof filter ignored that actor/label exactly as production filters ClawSweeper-owned activity. GitHub advanced updatedAt, but the structural source revision stayed identical. The scheduler deliberately kept the item eligible for verification; the structural cache returned hit.
  3. Edited the PR body as target-side activity. GitHub advanced updatedAt, the structural source revision changed, and the same exact-head decision failed open with source_changed.

This is controlled proof in a disposable public fork PR. It touches no production records, queues, workflows, review reports, or merge state.

@PollyBot13

Copy link
Copy Markdown
Owner Author

Proof complete; closing this disposable PR. The exact-head transcript above remains the current-head operational evidence for upstream PR openclaw#1007.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

proof: owned activity Disposable operational proof label

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant